Modulo Classes and Advice
نویسنده
چکیده
We prove an upper bound on computing advice for a language A in the class of languages acceptable in deterministic polynomial time with logarithmic advice, A 2 P=log), relative to A itself. We then provide conditions under which advice for a language A 2 P=log can be computed in PF(A), and conditions for the existence of a set A in P=log without advice in PF(A). We show that paddable languages in MOD k P/log that are also self-reducible are in MOD k P, without advice. This is an extension of similar results for self-reducible paddable sets in P/log by Balcc azar and Schh oning 3].
منابع مشابه
Modular arithmetic
Since congruence modulo m is an equivalence relation, it partitions the universe of integers into equivalence classes, which we’ll call congruence classes modulo m. Within any one of these classes, all of the members are congruent to all of the other members; but congruence modulo m never holds between members of different equivalence classes. For instance, there are two congruence classes modu...
متن کاملHereditary properties of amenability modulo an ideal of Banach algebras
In this paper we investigate some hereditary properties of amenability modulo an ideal of Banach algebras. We show that if $(e_alpha)_alpha$ is a bounded approximate identity modulo I of a Banach algebra A and X is a neo-unital modulo I, then $(e_alpha)_alpha$ is a bounded approximate identity for X. Moreover we show that amenability modulo an ideal of a Banach algebra A can be only considered ...
متن کاملOn the Number of Smooth Conics Tangent to Five Fixed Conics
In section 1, we define the abelian groups Ak(X) in a manner analagous to the homology groups Hk(X) by considering cycles of subvarieties modulo rational equivalence. In section 2, we construct, for any Cartier divisor D on X and subvariety V ⊂ X, an intersection class D · [V ] ∈ Ak−1(|D|∩|V |) and state its basic properties. Bezout’s theorem follows easily. In section 3, we discuss the centerp...
متن کاملBiprojectivty of Banach algebras modulo an ideal
In this paper, we introduce the new concept of biprojectivity of a Banach algebra modulo an ideal, as a generalization of this notion in the classical case. By using it , we obtain some necessary and sufficient conditions for contractibility of Banach algebras modulo an ideal. In particular we characterize the contractibility of quotient Banach algebras. Also we study the relationship between t...
متن کاملSimple Groups Generated by Involutions Interchanging Residue Classes modulo Lattices in Z
We present a series of countable simple groups, whose generators are involutions which interchange disjoint residue classes modulo lattices in Zd (d ∈ N). This work is motivated by the famous 3n + 1 conjecture.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994